$\forall$$L$:(top List). sqequal(firstn($\parallel$$L$$\parallel$; $L$); $L$)